Title: Equality in Object Oriented Languages Equality in Object Oriented Languages
نویسندگان
چکیده
Traditional programming languages provide a simpliied view of equality. Many programmers have apparently inferred that equality itself is a simple concept | a matter of writing`=' in the right place and leaving the rest to the compiler. Equality tests involve semantic relationships, however, and it follows that a compiler cannot generate correct equality tests for user-deened types. In the sophisticated programming environments provided by modern object oriented languages, programmers must have a thorough understanding of equality if they are to implement it correctly and eeciently.
منابع مشابه
Equality, Identity, and a Modified Contract
This paper describes a software-engineering problem, proposes a solution and shows how that solution influences language design. In many object-oriented programming languages, when implementing equality the programmer has to make sure that it obeys a set of rules, called equality contract. Not only is it difficult to adhere to these seemingly simple rules, but the equality contract itself is a ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملTo Form a More Perfect Union (intersection, Diierence)
The ability to decide whether or not two objects are the same is a fundamental requirement of any database query language. Because no single equality deenition is appropriate for all object types, many languages permit users to deene their own. The query algebra, AQUA 14] goes so far as to allow user-deened equalities to be supplied as arguments to query operators. These operators generalize st...
متن کاملFunctional Programming Formalisms for OODB Methods
Two well-studied functional formalisms in the theory of programming languages are (1) applicative program schemas and (2) typed lambda calculi. We relate these programming formalisms to object-oriented databases (OODBs) and in particular to the description of methods. The language of method schemas (MS) is a programming formalism based on applicative program schemas with additional key object-o...
متن کامل